Hi @exMagic ,

Thanks for correcting the typos.... unfortunately we accept contributions only to the dev branch of the repository, and your PR does not merge cleanly when I change it over to that branch.

If you're really keen on fixing these typos please make another PR based on the dev branch of the repository, as it looks like a lot of work to fix up this one, for only modest gain.

I'm wondering, how is this even possible. The dev branch is behind the master branch in this repo. :/

Hmmmm.... you're right. I think I didn't look closely enough. How do we want to handle it? It would merge very cleanly against the master branch, actually...